00100	Ideas for introduction to LISP text.
00200	
00300		This book is concerned with computing with symbolic expressions
00400	in the same sense that textbooks of numerical analysis and Fortran
00500	manuals are concerned with computing with numbers.  
00600	
00700		This book is concerned with techniques for computing with 
00800	symbolic expressions.  This field is in a much less developed
00900	state than the corresponding field of numerical computation.  The 
01000	most developed kind of symbolic computation is compiling, the translation
01100	of computer programs from a source language into the language
01200	of the computer, but other significant sysmbolic computations
01300	have been done including the following:
01400	
01500		1. Operations on algebraic expressions - differentiation,
01600	integration, matrix computation, reduction to canonical form,
01700	and simplification.
01800	
01900		2. Operations with logical expressions - simplification,
02000	theorem proving.
02100	
02200		3. Tree searches.
02300